programming semantics
英 [ˈprəʊɡræmɪŋ sɪˈmæntɪks]
美 [ˈproʊɡræmɪŋ sɪˈmæntɪks]
程序设计语义学
双语例句
- Programming today is less about learning the syntax and semantics of a programming language, such as Java, than about learning the APIs and capabilities of libraries for that language.
今天的编程已不仅仅是学习编程语言的语法和语义，比如Java，我们并不是学习其API及类库的能力。 - Each is pretty reasonable for certain programming contexts, even though the syntax and semantics of each is so radically different from the others.
每种方法都特别针对特定的编程环境，即使各种方法的语法和语义截然不同。 - That is, they use their favorite programming language to code the Web services implementations and then derive the Web service semantics from the implementation using vendors'tools.
换句话说，即他们使用自己喜爱的编程语言来为Web服务实现编写代码，并随后用供应商的工具从实现中获得Web服务语义。 - Note that because of SCA, your favorite programming language can easily be extended to incorporate BPEL semantics.
注意，由于SCA，你钟爱的编程语言可以很容易地被扩展结合BPEL语义。 - When faced transiting to a new programming language, programmers first need to adapt themselves to the syntax and semantics convention of the language.
转换使用的程式语言时，往往首先需适应不同的语法或语意的习惯。 - Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.
指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。 - Following the guarded commands, an abstract model of dynamic fuzzy logic programming language is given, which includes the syntax and dynamic fuzzy semantics.
本文仿照监督命令的程序结构，给出动态模糊逻辑程序设计语言的一个抽象模型，其内容包括：动态模糊逻辑程序设计语言的抽象语法、动态模糊语义。 - Most model languages in the textbooks of monographs on programming semantics are so tiny languages, which cannot help to clarify the traits of real programming languages, for they failed to be used to write ordinary programs.
大部分研究程序设计语义专论中的语言模型功能都非常简单，这对阐明实际的程序设计语言是远远不够的，因为这些语言模型很少能完整地编写普通的实际程序。 - A practical parallel logic programming environment on SUN workstation-PARLOG sequential compiling system ( PSCS) is presented with a description of PARLOG semantics, AND/ OR tree computational model and a process scheduling algorithm.
从PARLOG的语义描述出发.结合与／或树计算模型及进程调度算法.介绍了SUN工作站上设计实现的一个实用的并行逻辑设计环境&PARLOG顺序编译系统（PSCS）。 - Abstract interpretation is related to logic programming closely, and it plays an important role in the study of semantics of logic programs.
抽象解释方法与逻辑程序有着紧密的联系，在逻辑程序语义的研究中有着重要的作用。 - Therefore, this thesis emphasizes the study to build up a semantics description integration environment. It can handle various programming language, withdraw the semantics information of the customer concern from the software source codes.
因此，本论文着重探讨建立一个语义描述集成环境，能够处理多种程序语言，从软件源代码中提取用户关心的语义信息，帮助用户准确、迅速、全面、多层次地理解软件系统。 - A new method which utilizes weight constraint programming based on Answer Set semantics to automatically resolve the policy conflict is proposed.
在对AnswerSet编程理论进行了探索性研究基础上，取得了如下创新性成果：1.提出了一种利用基于AnswerSet语义的权约束编程实现策略冲突自动消解的新方法。 - Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.
作为该类编程技术的核心，AnswerSet语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。